大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Arithmetic (6th : 1983 : Aarhus University) 的图书(共6027本)

e-Business and Telecommunications [electronic resource] : 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers

0
索取号：
作者：Obaidat、 Mohammad S.、Filipe、 Joaquim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Science and Educational Software Design [electronic resource] : A Resource for Multidisciplinary Work in Technology Enhanced Learning

0
索取号：
作者：Tchounikine、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Ambient Intelligence - Software and Applications [electronic resource] : 2nd International Symposium on Ambient Intelligence (ISAmI 2011)

0
索取号：
作者：Novais、 Paulo.、Preuveneers、 Davy.、Corchado、 Juan M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

International Symposium on Distributed Computing and Artificial Intelligence [electronic resource]

0
索取号：
作者：Abraham、 Ajith.、Corchado、 Juan M.、Gonz谩lez、 Sara Rodr铆guez.、Paz Santana、 Juan F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Evolutionary Multi-Criterion Optimization [electronic resource] : 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings

0
索取号：
作者：Takahashi、 Ricardo H. C.、Deb、 Kalyanmoy.、Wanner、 Elizabeth F.、Greco、 Salvatore.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Discrete Geometry for Computer Imagery [electronic resource] : 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings

0
索取号：
作者：Debled-Rennesson、 Isabelle.、Domenjoud、 Eric.、Kerautret、 Bertrand.、Even、 Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information and Automation [electronic resource] : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers

0
索取号：
作者：Qi、 Luo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

0
索取号：
作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Theory and Practice of Algorithms in (Computer) Systems [electronic resource] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

0
索取号：
作者：Marchetti-Spaccamela、 Alberto.、Segal、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Barthe、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Functional Thinking for Value Creation [electronic resource] : Proceedings of the 3rd CIRP International Conference on Industrial Product Service Systems, Technische Universit盲t Braunschweig, Braunschweig, Germany, May 5th - 6th, 2011

0
索取号：
作者：Hesselbach、 J眉rgen.、Herrmann、 Christoph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Soft Computing Models in Industrial and Environmental Applications, 6th International Conference SOCO 2011 [electronic resource]

0
索取号：
作者：Corchado、 Emilio.、Sn谩拧el、 V谩clav.、Sedano、 Javier.、Hassanien、 Aboul Ella.、Calvo、 Jos茅 Luis.、艢le抬zak、 Dominik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human Aspects of Visualization [electronic resource] : Second IFIP WG 13.7 Workshop on Human-Computer Interaction and Visualization, HCIV (INTERACT) 2009, Uppsala, Sweden, August 24, 2009, Revised Selected Papers

0
索取号：
作者：Ebert、 Achim.、Dix、 Alan.、Gershon、 Nahum D.、Pohl、 Margit.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mathematical Image Processing [electronic resource] : University of Orl茅ans, France, March 29th - April 1st, 2010

0
索取号：
作者：Bergounioux、 Ma茂tine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

0
索取号：
作者：Barner、 Sharon.、Harris、 Ian.、Kroening、 Daniel.、Raz、 Orna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Networks and Information Technologies [electronic resource] : Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011. Proceedings

0
索取号：
作者：Das、 Vinu V.、Stephen、 Janahanlal.、Chaba、 Yogesh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.